Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

فلترة بواسطة : موضوع Collection : Universite Savoie Mont Blanc

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

On Local Symmetries and Universality in Cellular Automata

Authors : Boyer, Laurent; Theyssier, Guillaume;

Subjects: cellular automata; universality; asymptotic densityFreiburg; Germany

Source: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009https://inria.hal.science/inria-0035917426th International Symposium on Theoretical Aspects of Computer

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Semantics and Implementation of an Extension of ML for Proving Programs ; Sémantique et Implantation d'une Extension de ML pour la Preuve de Programmes

Authors : Lepigre, Rodolphe;

Subjects: ML; call-by-value; classical realizability

Source: https://inria.hal.science/tel-01590363 ; Computer Science [cs]. Grenoble 1 UGA - Université Grenoble Alpes, 2017. English. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي